cartesian closed category

在Haskell里，忽略⊥，

• ()是terminal object
• tuple对应product
• function type对应指数$Z^Y$（也就是所有的$Y\to Z$），确实是属于object
• function本身是morphism

如果考虑笔记系统，

• () 是，，，这个先搁置。
• product是metadata？还是页面本身？Bullet = (content, tags, created_at, author)
• coproduct是view。bullet的显示模式。或者supertag。
• function是一个query，大体的设想是根据一些bullet查找出一大堆bullet，然后这个query本身是可以compose的。
  • 笔记分类是一个query。
  • 页面可以是一个query，聚合很多bullet。